\begin{tabbing}
R{-}base{-}domain($R$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=case $R$ of \+
\\[0ex]Rnone =$>$ $\langle$0$,\,$$\cdot$$\rangle$
\\[0ex]Rplus(${\it left}$,${\it right}$)=$>$${\it rec}_{1}$,${\it rec}_{2}$.$\langle$0$,\,$$\cdot$$\rangle$
\\[0ex]Rinit(${\it loc}$,$T$,$x$,$v$)=$>$ $\langle$1$,\,$$x$$\rangle$
\\[0ex]Rframe(${\it loc}$,$T$,$x$,$L$)=$>$ $\langle$2$,\,$$x$$\rangle$
\\[0ex]Rsframe(${\it lnk}$,${\it tag}$,$L$)=$>$ $\langle$3$,\,$${\it lnk}$$,\,$${\it tag}$$\rangle$
\\[0ex]Reffect(${\it loc}$,${\it ds}$,${\it knd}$,$T$,$x$,$f$)=$>$ $\langle$4$,\,$${\it knd}$$,\,$$x$$\rangle$
\\[0ex]Rsends(${\it ds}$,${\it knd}$,$T$,$l$,${\it dt}$,$g$)=$>$ $\langle$5$,\,$${\it knd}$$,\,$$l$$\rangle$
\\[0ex]Rpre(${\it loc}$,${\it ds}$,$a$,$T$,$P$)=$>$ $\langle$6$,\,$$a$$\rangle$
\\[0ex]Raframe(${\it loc}$,$k$,$L$)=$>$ $\langle$7$,\,$$k$$\rangle$
\\[0ex]Rbframe(${\it loc}$,$k$,$L$)=$>$ $\langle$8$,\,$$k$$\rangle$
\\[0ex]Rrframe(${\it loc}$,$x$,$L$)=$>$ $\langle$9$,\,$$x$$\rangle$
\-
\end{tabbing}